Nuprl Definition : inl def 13,42

inl x  is Primitive 
latex


Upcore 1, core 1

origin